Hugo Herbelin: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Kripke models for classical logic

Danko Ilik, Gyesik Lee, Hugo Herbelin

Journal:

Annals of Pure and Applied Logic

Year:

2010

Language:

english

File:

PDF, 382 KB

english, 2010

2

A proof-theoretic foundation of abortive continuations

Zena M. Ariola, Hugo Herbelin, Amr Sabry

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 634 KB

english, 2007

3

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - An Intuitionistic Logic that Proves Markov's Principle

Year:

2010

Language:

english

File:

PDF, 402 KB

english, 2010

4

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - A Constructive Proof of Dependent Choice, Compatible with Classical Logic

Year:

2012

Language:

english

File:

PDF, 239 KB

english, 2012

5

A type-theoretic foundation of delimited continuations

Zena M. Ariola, Hugo Herbelin, Amr Sabry

Journal:

Higher-Order and Symbolic Computation

Year:

2009

Language:

english

File:

PDF, 908 KB

english, 2009

6

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Equality Is Typable in Semi-full Pure Type Systems

Siles, Vincent, Herbelin, Hugo

Year:

2010

Language:

english

File:

PDF, 319 KB

english, 2010

7

Pure Type System conversion is always typable

SILES, VINCENT, HERBELIN, HUGO

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 227 KB

english, 2012

8

A dependently-typed construction of semi-simplicial types

Journal:

Mathematical Structures in Computer Science

Year:

2015

Language:

english

File:

PDF, 281 KB

english, 2015

9

An approach to call-by-name delimited continuations

Herbelin, Hugo, Ghilezan, Silvia

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 304 KB

english, 2008

10

[ACM Press the 41st ACM SIGPLAN-SIGACT Symposium - San Diego, California, USA (2014.01.22-2014.01.24)] Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL '14 - 30 years of research and development around Coq

Huet, Gérard, Herbelin, Hugo

Year:

2014

Language:

english

File:

PDF, 301 KB

english, 2014

11

A-translation and looping combinators in pure type systems

Coquand, Thierry, Herbelin, Hugo

Journal:

Journal of Functional Programming

Year:

1994

Language:

english

File:

PDF, 485 KB

english, 1994

12

Control reduction theories: the benefit of structural substitution

ARIOLA, ZENA M., HERBELIN, HUGO

Journal:

Journal of Functional Programming

Year:

2008

Language:

english

File:

PDF, 459 KB

english, 2008